Finite automata

Results: 673



#Item
281Ω-automaton / Büchi automaton / Tree automaton / Star height / Alternating finite automaton / Muller automaton / Automata theory / Theoretical computer science / Computer science

Deciding the weak definability of Büchi definable tree languages∗ Thomas Colcombet1 , Denis Kuperberg2 , Christof Löding3 , and Michael Vanden Boom4 1,2 CNRS and LIAFA, Université Paris Diderot Paris, France

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2013-08-07 05:31:08
282Büchi automaton / Finite-state machine / Deterministic automaton / Muller automaton / Automata theory / Theoretical computer science / Computer science

Unambiguous Finite Automata ¨ Christof Loding Department of Computer Science RWTH Aachen University, Germany

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2013-06-27 09:04:03
283Computing / Knowledge representation / Software engineering / Frame / Computer science / Thread / UML state machine / Call stack / Finite-state machine / Models of computation / Automata theory / Digital electronics

User Guide ioflo version[removed]Document Revision[removed]Samuel M. Smith PhD 242 East 600 North Lindon

Add to Reading List

Source URL: ioflo.com

Language: English - Date: 2015-01-09 12:59:21
284Automata theory / Computer programming / Finite-state machine / Parallel computing / Complex event processing / Pattern matching / Stream processing / SQL / Regular expression / Computing / Software engineering / Models of computation

RIP: Run-based Intra-query Parallelism for Scalable Complex Event Processing Cagri Balkesen, Nihal Dindar, Matthias Wetter, Nesime Tatbul ETH Zurich, Switzerland {cagri.balkesen, dindarn, wetterma, tatbul}@inf.ethz.ch

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2013-05-21 16:31:01
285Automata theory / Models of computation / Finite-state machine

Games with delay for automaton synthesis ¨ Christof Loding RWTH Aachen University, Germany GandALF

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2013-10-24 06:57:04
286Vowels / Finite state transducer / Phonetics / Vowel harmony / Finite-state machine / Yoruba language / Mongolian language / Vowel / Advanced and retracted tongue root / Linguistics / Automata theory / Models of computation

Computational Characterizations of Vowel Harmony Patterns and Pathologies

Add to Reading List

Source URL: www.lingref.com

Language: English - Date: 2013-07-01 13:01:20
287Mathematics / Formal languages / Computer science / Combinatorics on words / Theory of computation / Finite-state machine / Alphabet / Nondeterministic finite automaton / Computability / Automata theory / Models of computation / Theoretical computer science

Logical Methods in Computer Science Vol. 9(4:[removed], pp. 1–39 www.lmcs-online.org Submitted Published

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2013-12-17 05:01:37
288Mathematics / Binary decision diagram / Tree automaton / Nondeterministic finite automaton / Deterministic finite automaton / Tree traversal / Binary tree / Tree / Infinite tree automaton / Automata theory / Theoretical computer science / Computer science

Algorithms for Guided Tree Automata Morten Biehl1 , Nils Klarlund2 , and Theis Rauhe1 1 BRICS, Department of Computer Science, University of Aarhus,

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2007-03-08 16:46:59
289Robot / Artificial intelligence / Automata theory / Finite-state machine / Door

345 Ludic Computing Lecture 11 Behaviour Trees Simon Colton & Alison Pease Computational Creativity Group

Add to Reading List

Source URL: ccg.doc.gold.ac.uk

Language: English - Date: 2013-09-18 10:00:42
290Ω-automaton / Muller automaton / Alternating tree automata / Tree automaton / Alternating finite automaton / Nondeterministic finite automaton / Deterministic automaton / Finite-state machine / Parity game / Automata theory / Theoretical computer science / Computer science

Automata on Inifinite Trees Christof L¨oding Lehrstuhl Informatik 7 RWTH Aachen[removed]Aachen, Germany email: [removed]

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2012-05-29 10:55:51
UPDATE